View Javadoc

1   // ZipFile.java, created Fri Jan 11 17:11:32 2002 by joewhaley
2   // Copyright (C) 2001-3 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package joeq.ClassLib.sun13_win32.java.util.zip;
5   
6   /***
7    * ZipFile
8    *
9    * @author  John Whaley <jwhaley@alum.mit.edu>
10   * @version $Id: ZipFile.java 1451 2004-03-09 06:27:08Z jwhaley $
11   */
12  public abstract class ZipFile {
13  
14      private String name;
15      private java.util.Vector inflaters;
16      private java.io.RandomAccessFile raf;
17      private java.util.Hashtable entries;
18      
19      public void __init__(String name) throws java.io.IOException {
20          this.name = name;
21          java.io.RandomAccessFile raf = new java.io.RandomAccessFile(name, "r");
22          this.raf = raf;
23          this.inflaters = new java.util.Vector();
24          this.readCEN();
25      }
26      
27      private native void readCEN() throws java.io.IOException;
28  }